Multimedia broadcast is the most efficient method to distribute identical content to multiple users in the Evolved Packet System\n(EPS). EPS enables efficient usage of network resources and provisioning of quality of service for every user. Third-party control\nallows applications in an enterprise domain to invoke network functions like multimedia broadcast. In this paper, an approach to\nmodeling the behavior of Service Capability Server (SCS) for multimedia broadcast in EPS is presented. Third-party applications can\naccess multimedia broadcasting capabilities by using Parlay X Web Service interfaces. The SCS for multimedia broadcast exposes\nParlay X interfaces toward 3rd-party applications and control protocols toward the network. The SCS functional behavior has to\nbe synchronized with the application view on message broadcast and the state of the network resources intended for the broadcast\nsession.Models of multicast session, IP connectivity session, and bearers� and charging session are proposed and formally described\nusing the notation of Label Transition Systems. The concept of weak bisimilarity is used to prove that models expose equivalent\nbehavior; that is, they are synchronized.
Loading....